4

LibVM: an architecture for shared library sandboxing

Année:
2015
Langue:
english
Fichier:
PDF, 1.70 MB
english, 2015
9

Multifractal nature of network induced time delay in networked control systems

Année:
2007
Langue:
english
Fichier:
PDF, 282 KB
english, 2007
10

A theory for execution-time derivation in real-time programs

Année:
2005
Langue:
english
Fichier:
PDF, 239 KB
english, 2005
11

A formal model of real-time program compilation

Année:
2002
Langue:
english
Fichier:
PDF, 238 KB
english, 2002
12

Foreword

Année:
2003
Langue:
english
Fichier:
PDF, 35 KB
english, 2003
13

Lifting in Z

Année:
2001
Langue:
english
Fichier:
PDF, 208 KB
english, 2001
14

Formal Semantics for Program Paths

Année:
2003
Langue:
english
Fichier:
PDF, 230 KB
english, 2003
16

Preface: Volume 42

Année:
2001
Langue:
english
Fichier:
PDF, 46 KB
english, 2001
17

The Variety of Variables in Automated Real-Time Refinement

Année:
2003
Langue:
english
Fichier:
PDF, 213 KB
english, 2003
18

Linear Approximation of Execution-Time Constraints

Année:
2003
Langue:
english
Fichier:
PDF, 342 KB
english, 2003
19

But What if I Don't Want to Wait Forever?

Année:
2003
Langue:
english
Fichier:
PDF, 145 KB
english, 2003
20

Computer-aided development of a real-time program

Année:
2000
Langue:
english
Fichier:
PDF, 310 KB
english, 2000
42

Integrating hardware and software information flow analyses

Année:
2009
Langue:
english
Fichier:
PDF, 637 KB
english, 2009
49

A practical approach for detecting multi-tenancy data interference

Année:
2018
Langue:
english
Fichier:
PDF, 1.46 MB
english, 2018
50

Multifaceted Modelling of Complex Business Enterprises

Année:
2015
Langue:
english
Fichier:
PDF, 12.76 MB
english, 2015